Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

Transporters in the neurohypophysial neuroendocrine system, with special reference to vesicular glutamate transporters (BNPI and DNPI): a review.

Recent advances in gene technology have helped to identify novel proteins and allowed study of their distribution and functions in the mammalian brain. One class of these proteins is that of transporters, which exist in plasma and organellar membranes of neurons and other cells to move substances selectively across membranes. These transporters can be categorized further into subclasses by their structural property, substrate selectivity, and site of action. Some of them have been identified in the hypothalamus, which is the only brain site where a neural signal is converted to a humoral one, namely, a hormone for a target organ. This unique neural mechanism has long attracted attention as the neuroendocrine system, part of which has been extensively studied as the hypothalamic-neurohypophysial system involved in secretion of vasopressin and oxytocin. However, transporters in this system have been less well studied. A morphological examination of novel transporters would give us cues to a better understanding of the neuronal organization and function of the system. In this review, we first summarize recent findings on expression of transporter gene and immunoreactivity in the hypothalamus. In the second part, we explain our observations on two vesicular glutamate (inorganic phosphate) transporters (BNPI and DNPI) in the supraoptic and paraventricular nuclei and neurohypophysis. Further study of these and other transporters will provide a basis on which to reevaluate the organization and function of the hypothalamic-neurohypophysial system.     

Trypsin Inhibitor Activity In Vitro Digestibility and Sensory Quality of Meat-Like Yuba Products as Affected by Processing

ABSTRACT: :
Soybeans ( Glycine max ) were soaked and ground to obtain soymilk. The soymilk was cooked in an open tank and held at 85 to 90 deg;C. Yuba films were picked up in 20 min intervals and dried for 20 min. Yuba films were soaked in chicken-flavor solutions (25% and 35%), and baking soda (BS) solutions (0%, 1%, 2%, and 3% BS), and cooked at 100 °C for 30 min, 60 min, and 90 min. TIA decreased (p < 0.05) with the increase of heating time and BS concentration. In vitro protein digestibility (IVPD) decreased with heating time and BS concentration (p < 0.05). Sensory characteristics were affected by flavor concentration. By using 0% BS, 25% of the chicken flavor concentration, and a short heating time method, meat-like products with low TIA, high IVPD, and good sensory characteristics were obtained.     

环境友好阻燃环氧树脂覆铜板研究进展

论述了环境友好阻燃环氧树脂覆铜板研究开发的意义。提出通过开发并使用含氮、磷或硅的非卤阻燃型环氧树脂,含磷、氮或磷-氮的功能性阻燃固化剂和在体系中添加有机磷阻燃剂、氢氧化铝等无机阻燃剂等途径来开发环境友好阻燃环氧树脂覆铜板。并对我国在今后该领域的研究作了展望。     

应用德国PAR88挤出机生产PVC异型材的工艺研究

从控制PVC异型材挤出机的工艺参数的角度，分析并论述了挤出机工艺参数对PVC异型材低温落锤性能的影响。     

用快切装置替代备自投装置提高厂用电安全可靠性

指出目前厂用电切换装置存在的不足，分析了快切装置的基本原理以及厂用电事故下的成功快切对电厂安全生产的意义，说明了在厂用电切换中尽快应用快切装置的必要性。     

8Li次级束的产生

在北京串列加速器次级束流线上通过2 H(7Li,8Li) 1H逆运动学反应产生了用于核天体物理研究的8Li次级束。准直后的次级束纯度达到 80 %以上 ,对于 44MeV的7Li强度约为 3 0s- 1·pnA- 1,可以用来进行逆几何转移反应的实验测量。     

泥沙的“旋浮”

阐述了螺旋管流中泥沙“旋浮”的机理，运动轨迹、含沙量分布、挟沙力及能耗诸方面的理论分析与试验结果，并讨论了它与悬浮的关系，为工程应用提供可靠的依据。     

环形截面大偏心受压构件截面延性系数计算

延性是混凝土构件的一项重要特性 ,延性系数是构件延性的度量 ,由于沿周边均匀配筋环形截面偏心受压构件受力计算的特殊性 ,至今没有一个较精确的计算公式。本文根据沿周边均匀配筋环形截面偏心受压构件的工作特点 ,采用常用应力应变关系和基本假设 ,提出了其延性系数的计算方法。     

复合乳化沥青的粘附性试验方法研究

鉴于目前使用的阳离子乳化沥青粘附性试验方法难以有效评价复合乳化沥青粘附性，通过试验研究并综合考虑乳化沥青施工和路用实际情况，提出了乳化沥青水煮法试验方法和采用该方法检验复合乳化沥青粘附性时的评定标准。